Formal models of source reliability
نویسندگان
چکیده
منابع مشابه
Fuzzy Reliability Optimization Models for Redundant Systems
In this paper, a special class of redundancy optimization problem with fuzzy random variables is presented. In this model, fuzzy random lifetimes are considered as basic parameters and the Er-expected of system lifetime is used as a major type of system performance. Then a redundancy optimization problem is formulated as a binary integer programming model. Furthermore, illustrative numerical ex...
متن کاملFormal Models of Web
| We present a new formal model of query and computation on the Web. We focus on two important aspects that distinguish the access to Web data from the access to a standard database system: the navigational nature of the access and the lack of concurrency control. We show that these two issues have signiicant eeects on the computability of queries. To illustrate the ideas and how they can be us...
متن کاملFormal Models of Awareness
This special issue on Formal Models of Awareness contains five papers that concentrate on different approaches to the notion of awareness. They include syntactic and semantic approaches to modelling awareness (awareness of formulas as opposed to awareness of semantic objects such as sets of possoble worlds) and an alternative view from the multi-agent systems perspective where awareness is iden...
متن کاملAssessing the Reliability of open Source Information
Open source information on the Internet can contribute significantly to such assessments as competitive intelligence, business trends, or evolving social attitudes. However, because the accuracy of this open source information varies widely, the correctness of the information needs to be assessed before it can be used reliably. Current methods for estimating correctness rely on the subjective o...
متن کاملFormal Verification of Cognitive Models
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software tools and methodologies. In this paper, we propose a systematic automated approach for verifying the correctness of cognitive models. We present a modular specification language, define model correctness, and present alg...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2020
ISSN: 0039-7857,1573-0964
DOI: 10.1007/s11229-020-02595-2